Towards a metric suite for OCL Expressions expressed within UML/OCL models

نویسندگان

  • Luis Reynoso
  • Marcela Genero
  • Mario Piattini
چکیده

UML models quality is clearly a crucial issue that must be evaluated at the initial stages of object-oriented software development, in order to get software products with better quality. This fact is corroborated by the huge amount of metrics that have appeared in the literature related to the measurement of UML diagrams at a high level design stage. Most of these metrics are focused on the measurement of internal quality attributes such as structural complexity, coupling, size, etc. However, none of the proposed metrics take into account the added complexity involved when a UML model are complemented by expressions written in Object Constraint Language (OCL), that is a UML/OCL model. Due OCL is essential in building consistent and coherent platformindependent models we propose a metric suite for structural properties of OCL expressions. These metrics were proposed considering OCL concepts related to the “chunking” and “tracing” cognitive techniques. We believe that cognitive techniques affect the cognitive complexity, and by consequence the understandability and maintainability of expression of UML/OCL models. Therefore, the goal of this paper is to show how we defined these metrics in a methodological way, assuring thus their validity.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ocl Formal Specification Based Metrics as a Measure of Complexity and Fault-proneness

Formal specification of UML models in OCL is essential to improve software quality. Owing to the use of OCL in precise model specification, its application has been looked in different perspectives such as early measurement of module complexity. Moreover, when UML class diagrams are complemented with OCL, the metrics collected from OCL specification can serve as an indicator of fault-prone comp...

متن کامل

Validating Metrics for OCL Expressions Expressed within UML/OCL models

Measuring quality is the key to developing high-quality software, and it is widely acknowledged that quality assurance of software products must be guaranteed from the early stages of development, assessing through metrics the quality of early models such as UML diagrams. There exists several proposals of metrics to UML diagrams, such as class diagrams, use case diagrams, etc. But, even though ...

متن کامل

RoclET– Refactoring OCL Expressions by Transformations

The role of UML models in software development has changed considerably over the last years. While UML was used in its early days mostly as a notation for sketching ideas, developers more and more recognize now the value of a UML model as a formal document that can be processed by tools, e.g. in order to generate code and documentation. Precise software models, however, can usually not be expre...

متن کامل

Typechecking UML Static Models

UML static models are expressed using a mixture of class diagrams and OCL expressions. In a well formed static model, the OCL expressions and class diagrams are type consistent. Checking for type consistency of static models involves both inclusion and parametric poly-morphism. This paper deenes a semantics of type consistency in terms of a type theory for UML static models. The type theory is ...

متن کامل

Evaluating and Debugging OCL Expressions in UML Models

This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004